ecl-m3(a;snd;x;l)(k)
== let g = snd(<k,l>)?nil in 
== map(tr.let tg,n,f = tr in <tg,s,v. if a(n,k,s,v,s(x)) f(s,v) else nil fi>
== map;snd(<k,l>)?nil) 

latex

---

clarification:

ecl-m3(a;snd;x;l)(k)
== let g = fpf-cap(snd;product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);<k,l>;nil) in 
== map(tr.let tg,n,f = tr in <tg,s,v. if a(n,k,s,v,s(x)) f(s,v) else nil fi>
== map;fpf-cap(snd;product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);<k,l>;nil)) 

latex

Definitions	let x = a in b(x), map(f;as), let x,y,z = a in t(x;y;z), x.A(x), if b t else f fi, f(a), f(x)?z, product-deq(A;B;a;b), Knd, IdLnk, KindDeq, IdLnkDeq, <a,b>, nil
FDL editor aliases	ecl-m3